The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures. Nelson and Oppen presented conditions that imply decidability (or polynomial-time decidability) of $\mathrm{CSP}(T_1 \cup T_2)$ under the assumption that $\mathr...

Asymmetries in sagittal plane knee kinetics have been identified as a risk factor for anterior cruciate ligament (ACL) re-injury. Clinical tools are needed to identify the asymmetries. This study examined the relationships between knee kinetic asymmetries and ground reaction force (GRF) asymmetries during athletic tasks in adolescent patients following ACL reconstruction (ACL-R). Kinematic and ...

The purpose of this study was to assess the relationship of accelerometer output, in counts (ActiGraph GT1M) and as raw accelerations (ActiGraph GT3X+ and GENEA), with ground reaction force (GRF) in adults. Ten participants (age: 29.4 ± 8.2 yr, mass: 74.3 ± 9.8 kg, height: 1.76 ± 0.09 m) performed eight trials each of: slow walking, brisk walking, slow running, faster running and box drops. GRF...

BACKGROUND To study ground reaction force (GRF) patterns in stroke patients with various degrees of motor recovery, using plantar dynamic analysis. METHODS Forty-three people with hemiplegic stroke and 20 healthy subjects were enrolled in the study. Motor impairment (motor recovery and muscle tone) and plantar dynamic data (GRF patterns, peak pressure, and walking speeds) were analyzed. GRF p...

introduction: foot insoles are widely recommended to prevent running related to injuries. however, their effects on the frequency of ground reaction force(grf) is still unclear. the purpose of this study was to elemental test the effect of four shoe insoles on frequency of grf during stance phase of running. materials and methods: 15 female students (mean age22±1/85 year, height162±4/71cm and w...

This paper provides short proofs of two fundamental theorems of finite semigroup theory whose previous proofs were significantly longer, namely the two-sided Krohn-Rhodes decomposition theorem and Henckell's aperiodic pointlike theorem, using a new algebraic technique that we call the merge decomposition. A prototypical application of this technique decomposes a semigroup $T$ into a two-sided s...

Forty-one primiparous beef heifers were used over 2 yr to evaluate the effect of prepartum administration of a growth hormone-releasing factor analog (GRF-A) or growth hormone-releasing factor (GRF(1-29)-NH2) on somatotropin (ST), insulin-like growth factor I (IGF-I), milk production, heifer BW, and postpartum (PP) return to ovarian activity. Beginning on d -11 +/- 1 from parturition, heifers w...

Background: The standing vertical jump (SVJ) and standing broad jump (SBJ) are athletic assessment and talent identification tools. Limited biomechanical comparison of the styles exists. The aim of this project was to assess the differences in kinetics and kinematics between SVJ and SBJ. Materials and Methods: Ten semi-professional soccer players (22.4±3.1 years) volunteered to participate in t...